Skip to content

Conversation

alexcrichton
Copy link
Member

cc #19872, this may help give some insight

@rust-highfive
Copy link
Contributor

r? @huonw

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member Author

@bors: r=huonw 440d63b

bors added a commit that referenced this pull request Jan 20, 2015
@bors
Copy link
Collaborator

bors commented Jan 20, 2015

⌛ Testing commit 440d63b with merge 9006c3c...

@bors
Copy link
Collaborator

bors commented Jan 20, 2015

@bors bors merged commit 440d63b into rust-lang:master Jan 20, 2015
@alexcrichton alexcrichton deleted the issue-19872 branch January 20, 2015 06:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants